21. Foundations of mathematics
پدیدآورنده : Hatcher, William S
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
H34
22. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
23. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
24. Frege, Gottlob
پدیدآورنده :
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
25. Frege :philosophy of mathematics
پدیدآورنده : Dummett, Michael A. E
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
26. Frege. philosophy of mathematics
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
27. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
28. Frege's philosophy of mathematics
پدیدآورنده :
موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
29. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
30. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean, 2191-6891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
31. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W27
1974
32. From mathematics to philosophy
پدیدآورنده : Wang, Hao, 1291-5991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W26F7
33. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
BD
161
.
W27
1974b
34. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
BD
161
.
W27
1974b
35. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
36. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
37. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
38. Grundlagen der Mathematik
پدیدآورنده : Hilbert, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
H52
39. Handbook of Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
40. Inexhaustibility : a non-exhaustive treatment
پدیدآورنده : Franzen, Torkel, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
16
